En sammanhängande graf innehåller en Eulercykel om och endast om alla gradtal i är jämna.
Sats 7.12
Låt vara två noder i en sammanhängande graf . innehåller minst en Eulerväg från till om och endast om och är udda och för alla andra noder gäller att är jämnt.
Graf då noder kan delas in i två grupper och alla kanter går mellan grupperna
Diofantisk ekv.
Bestående av och lösning med heltal i
Disjunktion
"eller"
Ekvivalensrelation
Reflexiv, symmetrisk och transitiv
Gradtal
Antalet kanter som ansluter till en nod
Kardinalitet
Storleken/antalet element i en mängd
Konjunktion
"och"
Kvantifiera
Bind variablerna i ett predikat för att få ett sanningsvärde
,
Identitet
sådant att
Inducerad delgraf
är inducerad delgraf till då
Injektiv
Alla funktionsärden är unika
Invers
Funktion: är invers till om Operator: där
Partiell ordning
Reflexiv, antisymmetrisk och transitiv
Reflexiv
Specificera
Specificera variabeln i ett predikat för att få ett sanningsvärde
Surjektiv
Symmetrisk
Transitiv
Blandad notation: ,
Kryptering
RSA: Välj två stora primtal* och ett heltal sådant att . Inversen till betecknas .
Tillsammans är bildar dessa heltal en sluten nyckel. Produkten och bildar en motsvarande öppen nyckel.